chore: merge upstream

chore: merge upstream

chore: merge upstream

chore: merge upstream

chore: upstream

chore: bump `dev`

chore: merge upstream

chore: update

* working with the 'pass-through' method

* cleanup

* making clippy happy

* drop record span

* drop in thread

* add execute mode

* Update crates/perf/src/main.rs

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>

---------

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>

* working

* wip

* wip

* wip

* semi-working shrink

* working shrink

* added precompile computaitons

* slightly better tuned shapes

* clippy

* working to do no precompile shapes too

* docker

* switched order of shapes

* comments

* cached programs

* remove singleton proofs from cache

* comment out building the chips

* pre-dev-merge

* refactored max core plus precompile

* near final draft

* almost there

* ready for review